Token Finding Strategies
نویسندگان
چکیده
Monitoring distributed computations provides a practical way of learning about and coming to understand a class of applications that are becoming increasingly common. The beneets of distribution arise from processes cooperating together to achieve a common goal. Coordination among the processes is a fundamental ingredient for the cooperation to occur both correctly and eeciently. One common form of coordination is token passing, where a token enables the process holding it to perform some action(s). In order to better understand this form of coordination it is useful to be able to monitor the process that holds the token, as the token moves from one process to another. Unless the token is being continuously monitored though the initial step is to nd the location of the token to enable subsequent monitoring of it. We describe a classiication scheme for token nding strategies. Token-nding algorithms make use of information about the environment and application to make the search more eecient. The information examine in detail is the interconnection of the logical processes. We describe the Pathhnder system which uses agents to implement token nding strategies. The exibility aaorded by agents allows them to make use of environmental information at run time.
منابع مشابه
Strategies for Token Monitoring
Monitoring distributed computations provides a practical way of learning about and coming to understand a class of applications that are becoming increasingly common. The beneets of distribution arise from processes cooperating together to achieve a common goal. Coordination among the processes is a fundamental ingredient for the cooperation to occur both correctly and eeciently. One common for...
متن کاملThe Token Bucket Allocation and Reallocation Problems ( MPRASE Token Bucket )
This paper deals with the dimensioning of token buckets. Two related problems are formulated and solved. The first is the token bucket allocation problem (TBAP) which is finding the cost-minimal token bucket for the transmission of a given VBR traffic stream, e.g. an MPEG movie, from the user's point of view. This problem has been treated in literature before but as we will show not completely....
متن کاملInfinite-Duration Bidding Games
Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study th...
متن کاملToken Traversal Strategies of a Distributed Spanning Forest Algorithm in Mobile Ad Hoc - Delay Tolerant Networks
This paper presents three distributed and decentralized strategies used for token traversal in spanning forest over Mobile Ad Hoc Delay Tolerant Networks. Such networks are characterized by behaviors like disappearance of mobile devices, connection disruptions, network partitioning, etc. Techniques based on tree topologies are well known for increasing the efficiency of network protocols and/or...
متن کاملAn Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm
Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...
متن کامل